Examples of the domain calculus are ILL, FQL, DEDUCE and

the well known Query By Example (QBE). INGRES is a

relational DBMS whose DML is based on the relational

calculus.